Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Programa de estudio |
Teoría de la Computación y Verificación de Programas | Rosenfeld, Ricardo Fabián |
(2019) |
---------- | |
Programa de estudio |
Teoría de la Computación y Verificación de Programas Avanzada: | Rosenfeld, Ricardo Fabián |
(2014) |
---------- | |
Programa de estudio |
Teoría de la Computación y Verificación de Programas Avanzada | Rosenfeld, Ricardo Fabián |
(2019) |
---------- | |
Libro |
Teoría de la computación y verificación de programas: | Rosenfeld, Ricardo Fabián |
1a ed.
(2010) |
Domicilio
Sala |